Conjugate of Dirichlet Character

Theorem

Let a,qZ with gcd(a,q)=1 and χ be a Dirichlet character modulo q. Then

χ(a)=χ(a)1.

This just follows because z1=z if |z|=1. That is, negating the argument of a complex number and flipping it about the real axis are the same geometric action.

Proof

Since gcd(a,q)=1, we can consider χ as a group character when restricted to Zq by identifying a with the corresponding reduced residue class. Then because characters of finite group map to roots of unity, we know that χ(a) is a root of unity, and hence χ(a)n=1|χ(a)|n=1|χ(a)|=1.

Thus writing χ(a)=eiθ we can see that

eiθ=eiθ=(eiθ)1.